vcs -R -gui -debug_all  ../ref/models/saed90nm.v   ../source/Johnson_count_dc.v   ../results/atpg_parallel.v